Kommentar till Peter Lindström

Galens Kommentar zu Platons Timaios

second stage of the international project to produce a new collection, text, translation and commentary of the fragments and testimonia relating to Theophrastus. Sharples' volume is the first of nine projected by various authors. Each of them will provide a commentary upon a different part of the collected texts edited by a consortium of scholars and published in two volumes in 1992 under the g...

Microsoft Word - Apoptos K 110921 Asif kommentar

K efflux is observed as an early event in the apoptotic process in various cell types. Loss of intracellular K and subsequent reduction in ionic strength is suggested to release the inhibition of proapoptotic caspases. In this work, a new K-specific microelectrode was used to study possible alterations in intracellular K in Xenopus laevis oocytes during chemically induced apoptosis. The accurac...

A New Modal Lindström Theorem

We prove new Lindström theorems for the basic modal propositional language, and for the guarded fragment of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. 1 What is modal logic? I would broadly endorse the 'minimal desi...

A Perspective on Lindström Quantifiers and Oracles

Regular languages definable by Lindström quantifiers

In our main result, we establish a formal connection between Lindström quantifiers with respect to regular languages and the double semidirect product of finite monoids with a distinguished set of generators. We use this correspondence to characterize the expressive power of Lindström quantifiers associated with a class of regular languages.